package earlyDetection.pg;

import network.Port;
import org.jgrapht.graph.DefaultEdge;

public class PGEdge extends DefaultEdge {
    public Port port;

    public PGEdge(Port port) {
        this.port = port;
    }
}
